Specification of Real-Time Systems in UML
نویسندگان
چکیده
منابع مشابه
Specification of Real-Time Systems in UML
We introduce time semantics into UML class and statechart diagrams. This extends the expressiveness of UML for specification of real-time systems and allows to specify verification properties of real-time systems by means of Timed Computation Tree Logic. We furthermore propose a way to collect stereotypes for specification of real-time systems. The approach is illustrated by a case study.
متن کاملSpecification of real-time imaging systems using the UML
Real-time imaging systems are expected to perform at a rate set by the operating environment. This places additional temporal constraints on the implementation, and has led to advances in parallel processing and optimization. The constraints are also applied, however, to the analysis and design models of the system, an aspect that has received far less consideration, particularly outside of aca...
متن کاملUML and Real-time Systems
UML has traditionally been used to specify object-oriented software systems. With its rising popularity, the desire to use it for various vertical domains have grown stronger, and in this paper we focus on requirements from the realtime domain. In particular, we look at how tools and features from the real-time domain have affected the standardization efforts when further developing the next ge...
متن کاملOn Real-Time Requirements in Specification-Level UML Models
The design of software systems usually advances from abstract to more concerete. Unfortunately, proper specification of real-time related issues has often been postponed to the implementation phase, potentially leading to increased complexity in design. This has at least partly been due to the lack of suitable abstractions and notations for expressing real-time requirements at an abstract level...
متن کاملSpecification of Real-Time Properties for UML Models
The Unified Modeling Language (UML) has received wide acceptance as a standard language in the field of software specification by means of different diagram types. In a recent version of UML, the textual Object Constraint Language (OCL) was introduced to support specification of constraints for UML models. But OCL currently does not provide sufficient means to specify constraints over the dynam...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2000
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)01224-7